CodePeer
The most comprehensive static analysis toolsuite. CodePeer helps developers gain a deep understanding of their code and build more reliable and secure software systems.
Overview
CodePeer is an Ada source code analyzer (Automated Code Review) and Validation Software that detects run-time and logic errors. This Ada source code analyzer scrutinizes potential bugs before program execution, serving as an automated peer reviewer, helping to find errors easily at any stage of the development life-cycle. CodePeer helps you improve the quality of your code and makes it easier for you to perform safety and/or security analysis.
CodePeer operates as a standalone tool that is compatible with both Windows and Linux platforms. It seamlessly operates with any standard Ada compiler or can be easily integrated into the GNAT Pro development environment, ensuring enhanced versatility and ease of use. It can detect several of the “Top 25 Most Dangerous Software Errors” in the Common Weakness Enumeration. CodePeer supports all versions of Ada (83, 95, 2005, 2012).
CodePeer has been qualified as a Verification Tool under the DO-178B and EN 50128 software standards.
TECHNICAL SPECIFICATIONS
- Finds potential bugs and vulnerabilities early, when they are less expensive to correct
- Expedites code review and significantly increases the productivity of human review
- Detects and removes latent bugs when used retrospectively on existing code
- Reduces effort needed for safety or security certification
- Improves code quality
- Works on partially complete programs
- Exploits multi-core CPUs for efficiency and allows performance tuning based on memory and speed of developer’s machine
